It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
WeiterlesenThis book providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions ...
WeiterlesenThis volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...
WeiterlesenThe scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
WeiterlesenThe book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
WeiterlesenThis book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
WeiterlesenIn this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
WeiterlesenMatousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
WeiterlesenThis book covered are information and data visualization; advances techniques for visual information management; mobile visual ...
WeiterlesenThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
WeiterlesenThis book address current research and development efforts of various issues in the area of algorithms, systems and applications ...
WeiterlesenThe scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Weiterlesen